تتضمن هذه المادة شروحاً للأتمتة المحدودة واللغات العادية، خصائص الأتمتة المحدودة، التعابير العادية، نظرية الضخ والخصائص المغلقة. النموذج العام للحسابات، حالات التتشفير، طرق اختيار نموذج الحساب، النماذج المستقلة، آلات تورينج وأصنافها المختلفة. النظرية المحوسبة، الوظائف المتكررة الأولية، الوظائف المتكررة الجزئية. التعدادية، تشفير آلات تورينج، نظم البرمجة، التكرار ومجموعات التعابير العادية، نظرية رايس ونظرية التكرار، درجات عدم الحل، النظرية المعقدة، التقليل، مجموعات التعقيد، المسائل المكتملة. كما ستتحدث هذه المادة عن بعض المشاكل التي لا يمكن التوصل لها إلى حل خلال وقت معروف ومحدد، درجات تعقيد التقريب، نماذج الحسابات المتوازية، التواصل والتعقيد، الإثبات التفاعلي، الإثبات الإحتمالي.